Refine your search

You are not logged in Show Basket
  Home     Advanced Search     Back  
Catalogue Search Results

You searched: |  Subject = Conference, computer software,  | 
Results: 3 found in 0.009 seconds

 
▼Title ▲
▼Author▲
 Publisher Edition
▼Shelf▲
 At
0
Formal approaches to software testing and runtime verification :
first combined international workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006 ; revised selected papers /
ISBN: 9783540497035 		Springer, 2006. QA76.9.F67 F524 2006 Yeniboğaziçi Grand Library[General Collection]
Available
0
Runtime verification :
7th international workshop, RV 2007, Vanco[u]ver, Canada, March 13, 2007 : revised selected papers /
ISBN: 9783540773948 (pbk.) 		Springer, c2007. QA76.758 S65 2007 Yeniboğaziçi Grand Library[General Collection]
Available
0
Computer aided verification :
20th international conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008 : proceedings /
ISBN: 9783540705451 		Springer, ©2008. QA76.76.V47 .C38 2008 Yeniboğaziçi Grand Library[General Collection] (2)
Available
Quick search
Term:
Full phrase Any word

Results 1 - 10 of 3 records.
New search | Back to the last search

NEAR EAST UNIVERSITY GRAND LIBRARY +90 (392) 223 64 64 Ext:5536. Near East Boulevard, Nicosia, TRNC
This software is developed by NEU Library and it is based on Koha OSS
conforms to MARC21 library data transfer rules.